Knuth-Bendix algorithm and the conjugacy problems in monoids

We present an algorithmic approach to the conjugacy problems in monoids, using rewriting systems. We extend the classical theory of rewriting developed by Knuth and Bendix to a rewriting that takes into account the cyclic conjugates.Comment: This is a new version of the paper 'The conjugacy problems in monoids and semigroups'. This version will appear in the journal 'Semigroup forum

A revision of Indian species of Parurios Girault with a new record of Papuopsia Boucek (Hymenoptera: Pteromalidae) from India

Two new species of Parurios Girault viz. P. bouceki Narendran sp. nov. and P. sringericus Narendran sp. nov. are described from India. The female of P. keralensis Narendran is also described. A key to Indian species of Parurios is provided. The genus Papuopsia is recorded for the first time from India

CCR2, MCP-1, SDF-1α & DC-SIGN gene polymorphisms in HIV-1 infected patients with & without tuberculosis

Background & Objectives: Variability in the clinical outcome of persons exposed to and infected with HIV-1 and tuberculosis (TB) is determined by multiple factors including host genetic variations. The aim of the present study was to find out whether chemokine, chemokine receptor and DC-SIGN gene polymorphisms were associated with susceptibility or resistance to HIV and HIV-TB in south India. Methods: CCR2 V64I (G/A), monocyte chemoattractant protein-1 (MCP-1) -2518 A/G, stromal cell derived factor-1α; (SDF-1α) 3'UTR G/A and DC-SIGN gene polymorphisms were studied by polymerase chain reaction based methods in HIV-1 infected patients without TB (n=151), with pulmonary TB (PTB) (n=81) and extrapulmonary TB (n=31), 155 PTB patients without HIV and 206 healthy controls. Results: The genotype frequencies of CCR2 V64I, MCP-1 -2518 and DC-SIGN polymorphisms did not differ significantly between the study groups. A significantly increased frequency of GG genotype of SDF-1alpha polymorphism was observed among HIV+PTB+ patients compared to healthy controls (P=0.009, Pc=0.027). Interpretation & Conclusions: Our data suggest that GG genotype of SDF-1alpha 3'UTR polymorphism may be associated with susceptibility to PTB in HIV-1 infected patients. A better understanding of genetic factors that are associated with TB could help target preventive strategies to those HIV patients likely to develop tuberculosis

Attitudes and barriers to exercise in adults with a recent diagnosis of type 1 diabetes: a qualitative study of participants in the Exercise for Type 1 Diabetes (EXTOD) study

This is the final published version. Available from BMJ Publishing via the DOI in this record.All data underlying the findings are fully available without restriction. All relevant data are within the paperObjectives To explore attitudes and barriers to exercise in adults with new-onset type 1 diabetes mellitus (T1DM). Design Qualitative methodology using focus group (n=1), individual face-to-face (n=4) and telephone interviews (n=8). Thematic analysis using the Framework Method. Setting Nineteen UK hospital sites. Participants Fifteen participants in the Exercise for Type 1 Diabetes study. We explored current and past levels of exercise, understanding of exercise and exercise guidelines, barriers to increasing exercise levels and preferences for monitoring of activity in a trial. Results Five main themes were identified: existing attitudes to exercise, feelings about diagnosis, perceptions about exercise consequences, barriers to increasing exercise and confidence in managing blood glucose. An important finding was that around half the participants reported a reduction in activity levels around diagnosis. Although exercise was felt to positively impact on health, some participants were not sure about the benefits or concerned about potential harms such as hypoglycaemia. Some participants reported being advised by healthcare practitioners (HCPs) not to exercise. Conclusions Exercise should be encouraged (not discouraged) from diagnosis, as patients may be more amenable to lifestyle change. Standard advice on exercise and T1DM needs to be made available to HCPs and patients with T1DM to improve patients’ confidence in managing their diabetes around exercise. Trial registration number ISRCTN91388505; ResultsNational Institute for Health Research (NIHR)National Institute for Health Research (NIHR

Boosting a Hybrid Model Recommendation System for Sparse Data using Collaborative Filtering and Deep Learning

499-502The exponential increase in the volume of online data has generated a confront of overburden of data for online users, which slow down the suitable access to products of pursuit on the Web. This contributed to the need for recommendation systems. Recommender system is a special form of intelligent technique that takes advantage of past user transactions on products to give recommendations of products. Collaborative filtering has turn out to be the commonly adopted method of providing users with customized services, except that it endures the problem of sparsely rated inputs. For collaborative filtering, we introduce a deep learning-based architecture which evaluates a discrete factorisation of vectors from sparse inputs. The characteristics of the products are retrieved using a deep learning model, denoising auto encoders. The traditional collaborative filtering algorithm that predicts and uses the past history of consumer interest and product characteristics are updated with the characteristics obtained by deep learning model for sparse rated inputs. The results of sparse data problem tested on MovieLens data set will greatly enhance the user and product transaction

Effective recommendation model using social network for linking user pursuit to product content

40-45The ongoing advancement of data innovation and the rapid development of the internet has encouraged a blast of data which has highlighted the issue of data overload. In reaction to this issue, recommender programs have evolved and helped users find their fascinating content. With the progressively entangled social setting, how to satisfy customized demands effectively has become another development in customized proposal administration contemplates. To mitigate the sparse issue of recommendation systems, we suggest a new recommendation approach based on fuzzy theory to improve their consistency and flexibility in diverse contexts. The proposed method also employs social network to reflect multifaceted factors of users. In this strategy, we group clients and consider about assortment of complex variables. The results on amazon dataset indicate that the proposed method achieves better efficiency over current methods

Unification modulo a partial theory of exponentiation

Modular exponentiation is a common mathematical operation in modern cryptography. This, along with modular multiplication at the base and exponent levels (to different moduli) plays an important role in a large number of key agreement protocols. In our earlier work, we gave many decidability as well as undecidability results for multiple equational theories, involving various properties of modular exponentiation. Here, we consider a partial subtheory focussing only on exponentiation and multiplication operators. Two main results are proved. The first result is positive, namely, that the unification problem for the above theory (in which no additional property is assumed of the multiplication operators) is decidable. The second result is negative: if we assume that the two multiplication operators belong to two different abelian groups, then the unification problem becomes undecidable.Comment: In Proceedings UNIF 2010, arXiv:1012.455

Does exercise improve glycaemic control in type 1 diabetes? A systematic review and meta-analysis.

This is the final published version. Available from PLoS via the DOI in this record.OBJECTIVE: Whilst regular exercise is advocated for people with type 1 diabetes, the benefits of this therapy are poorly delineated. Our objective was to review the evidence for a glycaemic benefit of exercise in type 1 diabetes. RESEARCH DESIGN AND METHODS: Electronic database searches were carried out in MEDLINE, Embase, Cochrane's Controlled Trials Register and SPORTDiscus. In addition, we searched for as yet unpublished but completed trials. Glycaemic benefit was defined as an improvement in glycosylated haemoglobin (HbA1c). Both randomised and non-randomised controlled trials were included. RESULTS: Thirteen studies were identified in the systematic review. Meta-analysis of twelve of these (including 452 patients) demonstrated an HbA1c reduction but this was not statistically significant (standardised mean difference (SMD) -0.25; 95% CI, -0.59 to 0.09). CONCLUSIONS: This meta-analysis does not reveal evidence for a glycaemic benefit of exercise as measured by HbA1c. Reasons for this finding could include increased calorie intake, insulin dose reductions around the time of exercise or lack of power. We also suggest that HbA1c may not be a sensitive indicator of glycaemic control, and that improvement in glycaemic variability may not be reflected in this measure. Exercise does however have other proven benefits in type 1 diabetes, and remains an important part of its management